Prints a selected DVI file.
After selecting the DVI file you'll be presented with a dialog box that
depends on the current printer and the setting of ``Use Standard PostScript''
(described below). Non-PostScript printing is discussed in section
.
Low-level PostScript printing is discussed in section
.
Standard PostScript printing is discussed in section
.
Hit Command-dot at any time to cancel printing, or switch to another
application and will continue to print in the background.